41. Digital simulation of continuous systems
پدیدآورنده: Chu, Yaohan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Digital Computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C49
42. ESOP '90
پدیدآورنده: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings ; A. Arnold, N. Jones )eds.(,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming - Congresses,Programming languages )Electronic computers( - Congresses
رده :
QA
.
E976
76
.
6
1990
43. ESOP '88
پدیدآورنده: H. Ganzinger, ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming-- Congresses.,Programming languages (Electronic computers)-- Congresses.
رده :
QA76
.
6
.
E976
1988
44. ESOP 86 : European Symposium on Programming, Saarbrucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده: edited by B. Robinet and R. Wilhelm
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
213
45. ESOP 86 : European Symposium on Programming, Saarbrغucken, Federal Republic of Germany, March 17-19, 1986 : proceedings
پدیدآورنده: European Symposium on Programming, )1st, 6891, Saarbrucken, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1986
46. ESOP '88 : 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings
پدیدآورنده: European Symposium on Programming, )2nd, 8891, Nancy, France(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1988
47. ESOP' 90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18 1990: Proceedings
پدیدآورنده: N. Jones )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming - Congresses ، Electronic digital computers,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
E976
1990
48. ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings
پدیدآورنده: European Symposium on Programming, )3rd, 0991, Copenhagen, Denmark(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
E976
1990
49. Emploi des ordinateurs; introd. au software
پدیدآورنده: / Jean Clude Faure, collaboration de bernard Lorho, Rene Malgoire
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Programming languages (Electronic computers)
رده :
001
.
642
Fa-E
50. Emploi des ordinateurs; introduction au software
پدیدآورنده : Faure, Jean Claude
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
51. Emploi des ordinateurs; introduction au software
پدیدآورنده: par Jean-Claude Faure avec la collaboration de Bernard Lorho. Pref. de Michel Laudet. Presentation de Rene Malgoire,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Electronic digital computers - Programming,Programming languages )Electronic computers(
رده :
QA
.
C37
,
no
.
2
76
1974
52. Erlang and Elixir for Imperative Programmers
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Elixir (Computer program language),ERLANG (Computer program language),Programming languages (Electronic computers)
رده :
QA76
.
73
.
E75
53. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
54. Fairness
پدیدآورنده: FRANCEZ,NISSIM
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC , PARALLEL PROCESSING
رده :
QA
76
.
6
.
F7226
55. Flow analysis of computer programs
پدیدآورنده: Hecht, Matthew S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
56. Formal description technique
پدیدآورنده: / edited by K.R. Parker, G.A. Rose
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
57. Formal description techniques, II
پدیدآورنده: / Edited by Son T. Vuong
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
58. Formal description techniques III
پدیدآورنده: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
59. Formal specification and software development
پدیدآورنده: Bjorner, Dines
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
1982
60. Foundations of programming languages
پدیدآورنده: Lee, Kent Derek
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
L43F6
2017
